From Lossy to Lossless Reasoning
manidoraisamy.com·2h·
Discuss: Hacker News
🔨Compilers
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·16h
🧮Algebraic Archives
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.com·5h
🛡️eBPF Security
Flag this post
I Built an AI Documentation Generator
dev.to·7h·
Discuss: DEV
⚡Proof Automation
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·2h
🧪Property-Based Testing
Flag this post
Ajla Tutorial
ajla-lang.cz·19h·
Discuss: Hacker News
💧Liquid Types
Flag this post
Horn Clauses
youtube.com·3h
👑Isabelle/HOL
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·1d
🌀Brotli Dictionary
Flag this post
Show HN: Qordinate – AI that talks for you (coordination-first, early build)
qordinate.ai·4h·
Discuss: Hacker News
🎙️Whisper
Flag this post
Claude Code is a Beast – Tips from 6 Months of Hardcore Use
reddit.com·2d·
Discuss: r/ClaudeAI
⚡Proof Automation
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·22h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post
When AI Agents Go Rogue: Agent Session Smuggling Attack in A2A Systems
unit42.paloaltonetworks.com·10h
🕵️Vector Smuggling
Flag this post
Watch the recordings from my Python + AI series
blog.pamelafox.org·5h·
Discuss: www.blogger.com
🎙️Whisper
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·1d·
Discuss: Hacker News
✅Format Verification
Flag this post
Averaging 10 PRs a day with Claude Code
theahura.substack.com·22h·
Discuss: Substack
⚡Proof Automation
Flag this post
AI-assisted writing (without the Slop)
jampa.dev·2h·
Discuss: Hacker News
📝Text Compression
Flag this post
Durable execution workflow system based on Postgres
github.com·6h·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.io·59m
⚙️TLA+
Flag this post
Issue 496
haskellweekly.news·1d
🔗Functional Compilers
Flag this post